mining warehouseman - German English Dictionary